windows - 将分号分隔文件列表从 txt 文件复制到 Windows cmd 中的给定文件夹